منابع مشابه
Tree-shifts of finite type
A one-sided (resp. two-sided) shift of finite type of dimension one can be described as the set of infinite (resp. bi-infinite) sequences of consecutive edges in a finite-state automaton. While the conjugacy of shifts of finite type is decidable for one-sided shifts of finite type of dimension one, the result is unknown in the two-sided case. In this paper, we study the shifts of finite type de...
متن کاملDecidability of Conjugacy of Tree-Shifts of Finite Type
A one-sided (resp. two-sided) shift of finite type of dimension one can be described as the set of infinite (resp. bi-infinite) sequences of consecutive edges in a finite-state automaton. While the conjugacy of shifts of finite type is decidable for one-sided shifts of finite type of dimension one, the result is unknown in the two-sided case. In this paper, we study the shifts of finite type de...
متن کاملSofic and Almost of Finite Type Tree-Shifts
We introduce the notion of sofic tree-shifts which corresponds to symbolic dynamical systems of infinite trees accepted by finite tree automata. We show that, contrary to shifts of infinite sequences, there is no unique minimal deterministic irreducible tree automaton accepting an irreducible sofic tree-shift, but that there is a unique synchronized one, called the Shannon cover of the tree-shi...
متن کاملCombinations of Context-Free Shifts and Shifts of Finite Type
A Dyck shift and a Motzkin shift are mathematical models for constraints on genetic sequences. In terms of the theory of symbolic dynamics, neither of the Dyck shift nor the Motzkin shift is sofic. In terms of the mathematical language theory, they are non-regular and context free languages. Therefore we can not use the Perron-Frobenius theory to calculate capacities of these constraints. O. Mi...
متن کاملPerturbations of Multidimensional Shifts of Finite Type
In this paper, we study perturbations of multidimensional shifts of finite type. Specifically, for any Z shift of finite type X with d > 1 and any finite pattern w in the language of X, we denote by Xw the set of elements of X not containing w. For strongly irreducible X and patterns w with shape a d-dimensional cube, we obtain upper and lower bounds on h(X) − h(Xw) dependent on the size of w. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2012
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2012.07.020